Structural theory - PDFSEARCH.IO - Document Search Engine

Structural theory
Results: 914

#	Item
21	Reducing Million-Node Graphs to a Few Structural Patterns: A Unified Approach Yike Liu Tara Safavi Add to Reading List Source URL: www.mlgworkshop.org Language: English - Date: 2016-08-14 01:22:56 Graph theory Mathematics Networks Algebraic graph theory Network analysis Network theory Graph partition Clustering coefficient Cluster analysis Clique Community structure Centrality
22	Microsoft Word - Borgatti-Halgin Network Theorizing - FINAL.docx Add to Reading List Source URL: www.danhalgin.com Language: English - Date: 2011-04-17 14:04:44 Social networks Community building Sociology Structure Science Network theory Social systems Social information processing Interpersonal ties Structural holes Bridge Social capital
23	NBER WORKING PAPER SERIES DSGE MODELS IN A DATA-RICH ENVIRONMENT Jean Boivin Marc Giannoni Working Paper 12772 Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2007-05-02 20:13:16 Economics Macroeconomics New classical macroeconomics New Keynesian economics Dynamic stochastic general equilibrium Macroeconomic model Psychometrics Real business-cycle theory Economic model Latent variable Statistics Structural estimation
24	Microsoft Word - fp16-armoni.doc Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:42:11 Computational complexity theory Cognition Neuropsychology Structural complexity theory Mathematics Reduction Problem solving Algorithm Heuristic How to Solve It Computational thinking
25	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
26	Small MultiPiles: Piling Time to Explore Temporal Patterns in Dynamic Networks Benjamin Bach, Nathalie Henry-Riche, Tim Dwyer, Tara Madhyastha, Jean-Daniel Fekete, Thomas Grabowski To cite this version: Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2016-06-14 14:46:27 Geotechnical engineering Graph theory Mathematics Deep foundation Structural engineering Physics Matrix Centrality Pile Dynamic functional connectivity
27	A Structural EM Algorithm for Phylogenetic Inference by Matan Ninio B.Sc., Hebrew UniversitySubmitted to the School of Computer Science & Engineering Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2015-08-10 08:23:34 Computational phylogenetics Phylogenetics Biology Bioinformatics Estimation theory Statistics Phylogenetic tree Maximum parsimony Maximum likelihood estimation Tree Binary tree PHYLIP
28	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
29	Paper N° 199 A Bidirectional Tuned Liquid Column Damper for Reducing the Seismic Response of Buildings L. Rozas T. (1), R. Boroschek K. (2), A. Tamburrino T. (3), M. Rojas L) Add to Reading List Source URL: boroschek.files.wordpress.com Language: English - Date: 2015-04-17 09:15:45 Construction Real estate Engineering Ordinary differential equations Earthquake engineering Seismology Structural engineering Control theory Vibration Damping Spectral acceleration
30	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic

UPDATE